621. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
622. Stochastic Space--Time Models and Limit Theorems
پدیدآورنده : edited by L. Arnold, P. Kotelenez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Applied mathematics.,Engineering mathematics.,Mathematics.
رده :
QA274
.
2
E358
1985
623. Structure and interpretation of computer programs /
پدیدآورنده : Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming,LISP (Computer program language)
رده :
QA76
.
6
.
A255
1996
624. Student modelling :
پدیدآورنده : Jim E Greer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
LB1028
.
43
J564
2010
625. 6 : Stylish F
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : F? (Computer program language) ; Functional programming languages ; Microsoft .NET Framework ;
626. Stylish F♯ :
پدیدآورنده : Kit Eason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Microsoft .NET Framework.,Microsoft .NET Framework.,Computer programming.,F♯ (Computer program language),Computer programming.,FÄ (Computer program language)
رده :
QA76
.
6
627. Systematic Introduction to Expert Systems :
پدیدآورنده : by Frank Puppe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Management information systems.
رده :
QA76
.
76
.
E95
B947
1993
628. Systems biology
پدیدآورنده : Shigetada Nakanishi, Ryoichiro Kageyama, Dai Watanabe, editors,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Systems biology^aCongresses,Bioinformatics^aCongresses,Systems Biology^aCongresses
رده :
EBOOK
,
QH
.
I5594
324
.
2
2008
629. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
630. Term Rewriting :
پدیدآورنده : edited by Hubert Comon, Jean-Pierre Jounnaud.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer Science.,Engineering & Applied Sciences.
631. Textbook of obstetrics and gynaecology :
پدیدآورنده : edited by Eric A.P. Steegers, Bart C.J.M. Fauser, Carina G.J.M. Hilders, Vincent W.V. Jaddoe, Leon F.A.G. Massuger, Joris A.M. van der Post, Sam Schoenmakers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gynecology.,Obstetrics.,Gynecology.,MEDICAL-- Gynecology & Obstetrics.,Obstetrics.
رده :
RG524
632. The Art of Lisp Programming
پدیدآورنده : by Robin Jones, Clive Maynard, Ian Stewart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
73
.
L23
B976
1990
633. The Cognitive psychology of knowledge /
پدیدآورنده : edited by Gerhard Strube, Karl F. Wender.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Wissen,Cognitive psychology.,Knowledge, Theory of.,Learning, Psychology of.,Problem solving.,Cognition.,Learning.,Cognitieve psychologie.,Cognition.,Cognitive psychology.,Cognitive psychology.,Knowledge, Theory of.,Kognitive Psychologie,Learning, Psychology of.,Leertheorieën.,Probleemoplossing.,Problem solving.,Wissenspsychologie,Wissensrepräsentation
رده :
BF201
.
C643
1993
634. The Haskell school of music :
پدیدآورنده : Paul Hudak, Donya Quick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer music-- Instruction and study.,Functional programming (Computer science),Haskell (Computer program language),Computer music-- Instruction and study.,Functional programming (Computer science),Haskell (Computer program language)
رده :
ML74
.
4
.
H37
H84
2018
635. The Linux philosophy for SysAdmins :
پدیدآورنده : David Both.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linux-- Philosophy.,Linux.,Computer networks-- Management.,Computer networks-- Management.,Computer programming-- software development.,COMPUTERS-- Operating Systems-- Linux.,Philosophy.
رده :
QA76
.
774
.
L46
636. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science.
637. The Measurement of the Economic Benefits of Infrastructure Services
پدیدآورنده : by Walter E. Diewert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Economics.
رده :
HC79
.
C3
B993
1986
638. The Rust programming language /
پدیدآورنده : by Steve Klabnik and Carol Nichols ; with contributions from the Rust Community.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C (Computer program language),Computer programming.,Rust (Computer program language),C (Computer program language),Computer programming.,Rust (Computer program language)
رده :
QA76
.
73
.
R87
639. The Z notation :
پدیدآورنده : J.M. Spivey ; based on the work of J.R. Abrial [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Z (Computer program language),Z,Z (Computer program language)
رده :
QA76
.
73
.
Z2
S66
1992
640. The art of R programming :
پدیدآورنده : by Norman Matloff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
.
M2925
2011